(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun e () Real)
(assert (forall ((d Real)) (and (or (< (/ (* (- a) d) 0) c) (> b 0.0)) (= (= d 0) (= e 0)))))
(check-sat)
